perm filename CAL[1,JMC]29 blob
sn#820669 filedate 1986-07-12 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00004 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 1984
C00018 00003 1985
C00060 00004
C00065 ENDMK
C⊗;
1984
05-31 11am, Abadi oral
4:15 Kreisel
06-04 MOnday, Hoover reception, 5:30-7pm
noon, Comprehensive Committee, MJH 301
06-05 Tues., 2:30 Senior Faculty
06-06 Konolige thesis deadline
10am, SRI meeting on common sense summer
ai quals, 3pm - 6pm
06-07 Thurs., Livermore, by 11:30am
1:30 SRI, my lecture on blocks world
06-08 Fri., Peter Kaiser, Vienna TV, c/o Frank Kemp, USIA, 202 376-7804
Sunday, twa 60 9:15, 5:32, SFO to Boston
Saturday, UA 95, 9:55AM - 1PM
06-11 thru 15, W.G. 2.2, Endicott House, M.I.T., Jack Dennis 617 253-6856
Nonimperative Languages and implementation concepts
Modifying programs without reading them. Perhaps also CBCL.
m.i.t. between 4 and 6:30, Joyce Chen,
40 min. from Logan Airport, endicott , Haven Road, Dedham
201, 545 Tech Square, dennis%mit-xx
326-5151
10am, SRI, Common sense, Leslie Pack
06-18 Monday, 11am, Geo. Johnson, NYT Books, 714 536-3465
msg.msg[jnk,jmc]/248p
06-19 -21, CSLI Workshop on Practical Reasoning and Planning, Redwood G-19
Tues. lunch and banquet
Wed. lunch
Thu. lunch, reply by June 12 to Eve Wasmer or Nancy Steege 7-2547
06-21 4pm, Vladimir Lifschitz
Hotel reservations requested 24 thru 29
06-25 thru 29, Paris and Marseilles, tentative
Devaquer, prof. of chemistry, contact via Irving Brown's office
sec'y = Simone Facotti
06-27 to 29 Logic conference in France, didn't go
07-02 to 6 July, Logic Programming in Uppsala, panel invite from Sten-Ake
didn't go
07-05 Thursday, ballet
07-08 Monday, 1pm book meeting, 2:30 Rohit Parikh, knowledge
5:15 sec'y interview
9am, Jerry Hobbs, his paper
10am, Common sense in EK242. SRI
07-11 Wed 12:15 lunch with Fikes and Claudia Mazzetti, A la Carte
Fikes no. 853-5557
CSLI site visit lunch
07-12 Thursday, ballet
07-13 Interview, secretary, 2 p.m.
Sato arrives till December 15
07-18 wed, Campbell dinner, 6:30pm, recept., 7:00pm dinner
07-19 Thursday, Inference board (remember to ask about Schlumberger and TI SMP)
1 p.m.
Sunday at 7p, dinner at Hurds'
07-22 to 25, Ito will be here.
07-23 SFO-DC UA 58Y Lv 2:00 pm Ar 9:50 pm Reservation Arlington Hyatt
seat 21D
We'll see ohlander and squires at 12:30 at DARPA.
07-24 Tue, Meeting with Kahn, Smith, etc. in Washington
DC-NYC PanAm #64 Lv 7 pm Ar 8:10 pm Reservations NY Sheraton.
Car rental reserved
07-25 Yorktown Heights with RPG
07-26 NYC-SFO PanAm #5 Lv 10am Ar 12:50 pm
08-01 UA58,2pm seat 11A, arr. 9:50pm,1 Wash. Circle Hotel
08-02 and 03, Thursday, Fri, Working Group on Nuclear energy, Washington
9am se2 board, 10am se2 associates, 2pm wg
08-03 UA57, 5:30 - 8:05pm
Hyatt Austin, 512 477-1234
Delta 118V 950 to 250 Dallas, Delta 1054V 351 to 435
08-05 Sunday, to 8th, Lisp conference, Austin Jester Center, 21st and Speedway
Claudia: 512 471-7711, 476-6171
08-06 Mon to 10 fri, AAAI, Austin, technical program, 7-10
08-07 Tuesday, 6:15, Common Lisp on ambiguities
7:30am, Ney Room, Villa Capri, publication committee
3:35pm, Chair publisher's prize session, Concert Hall
08-08 7pm, dinner, AAAI exec, 8pm meeting, Concert Hall Green Room
08-09 11am, Presidential Address, Concert Hall
08-10 Delta 1074 and 347, 7:30pm - 10:10pm
08-11 Saturday noon, lunch with Hurd and others msg.msg[1,jmc]/174p
08-15 Wed. III Board
08-13 to 26th Sarah night 322-9771
08-17 Oxford people, msg.msg[1,jmc]/170p
08-19 Eastern 66,13:20 18:55.Return 8-20 E 69, 17:50 19:30.Hotel:Hilton Hobby.
08-20 Inference show for NASA Houston
08-21 2:00 Byron Davies appt.
08-22 Wed noon to 5pm 24, Concurrent planning workshop, georgeff%sri-ai
Reasoning about cooperating agents and concurrent processes
Monterey Dunes, cooper[e84,jmc], See current events file.
Didn't go.
08-26 and 27, Sarah at 851-8521, Kelly
08-27 Common sense lunch TIME: 12:00 noon
PLACE: Yuen Yung
08-28 Shigeki Goto arriving.
08-30 Thu. III Finance and planning
SF-LA United 1111 12:oo arrive LA 1:12
Hotel reservation: Howard Johnson 213 641 7740. Free limousine.
08-31 Fri. III Board
SJ-LA PSA 164 8:30 arrive LA 9:30.
LA-SJ PSA 361 2:30 arrive SJ 3:25. Pick up tickets at PSA counter.
09-04 Berkeley, Cognitive Science Seminar, 11am - 2pm, debate with Searle
240 Bechtel, Len Talmy, 644-1064, talmy@ucbkim
09-05 Wed. Inference business meeting
09-11 Lunch with Spencer
09-12 3pm Subramanian
09-12 2p, Lifschitz, terminal by then if possible
11am, call Chien with Jussi
real deadline for Non-monotonic paper to AAAI office
09-17 Monday, Inference board, 1pm
L.A. to Paris
09-18 Tues. and 19, DARPA meeting on Common Lisp, Monterey. will miss it.
09-22 Paris, Centre Mondial Scientific committee
09-25 Berkeley, Common Sense, c/o Len Talmy
msg.msg[1,jmc]/367p
09-26 reception for new students, sunset
09-27 Thurs. first class, ERL 320
09-28 Ohlander back
2pm Ashok maybe
280s, exit 7th st. 2L turns under 280, N on 7th deadends at San Carlos,
1/2 block before L into parking garage, take far R to employees
entrance, park anywhere, Duncan 135, Duncan is immediately to W
of Parking garage, must go around. 135 entered from S side.
If early Macquarrie, N. of garage, 2nd floor, math office.
10-01 Monday, 5:30pm, panel on
"Survival and Prosperity--how should computers help us?"
e84.in[let,jmc]/371p,e84.in[let,jmc]/373p
Tues. 5:30-7:00pm, cocktail party,Venrock Associates opening their
West Coast Office. Held at Hyatt Rickys', Palo Alto.
10-04 Thurs, 2:30, senior faculty
10-05 Denelcor, Denver
SJ to Denver United 288 8:23 arrive 11:40.
Denver to SJ United 425 5:43
10-08 Monday, 2p, PARC, Kurzweil demo, postponed
10-09 Tues. 3:15, First meeting, CSLI Thought, action and the common
sense world, Project F4, forgot it.
10-10 Wed., 11:30, lunch with Hurd and Nils at Chantilly
10-11 3:15 Academic Senate
10-12 10am, MAD Computer, 101S, Montague exp, St. after N 1st, Zanker,
2950 Zanker Rd., R on Zanker, 1st bldg on L, 408 943-1711
1pm Lifschitz
10-15 Monday, 10am, Anthony Trojanowski and Russell Rose,
(703) 883 4734 re: their project of reasoning from uncertain knowledge
10-16 TWA 44, 10pm-6:03, Kennedy
10-17 10-19, Wed.-Fri., Conference on Non-monotonic reasoning, Mohonk, NY.
Workshop will be held in Mohonk Mountain House. For travel
assistance contact Vicky Goff at 800-223-3855 or 215-568-6655.
They requested that your room be ready before normal check-in time
(4:00). In case it is not, your luggage will be held until it is.
Mailed room reservation form and $200.00 check on 9-5-84.
10-21 Piedmont 1741, Kennedy 9:50pm - 10:59pm
10-22 to 26, Mathematical Logic and Theoretical Computer Science
U. of Maryland, Logic and AI with Barwise, L. Henschen, Reiter, van Emden
The mathematics of circumscription. Abstract to PERLIS@MARYLAND.
10-24 Wed to 26, Marseilles colloquium on AI, see current
10-31 Wednesday, 4pm, Philosophy and AI, Friedman, 916 752-0607,$500
lunch, general scientific audience
10-01 Holiday Inn, 8:30, 9am, 2:30 language session, reception 6pm
2:30 Senior Faculty
11-01 Quintus dinner at Faculty Club, c/o Hurd.
11-02 Reception 6:30 and dinner 7:30 Stauffer Auditorium, Hoover.
11-05 or 6, Guide, Floyd Kelly, 214 457-7173, declined
11-06 Tues. 3:15, F4 meeting, Ventura
11-08 Thurs. 3:15 Academic Senate.
11-10 Dantzig banquet, Faculty Club $20, Gail Stein, O.R. 7-1305
7pm, symposium, all day Terman
11-11 Sunday, Sjodin party, 713 Alvarado Row, 3pm
11-12 Monday 3:15, Jeff Glaza about his thesis proposal
11-13 Tuesday, 2:30 Carolyn oral
11-14 Wed., law and computers, Some expert systems need common sense.
room 272, Law School, 4:15
lunch and after
11-14 CIS sponsors, Meindel 7-1013, same talk, 45 min, Louise Peterson 7-2931
11-15 Thursday, 10:30 meeting with Dr. Bill Hogan from Honeywell re joint
venture research
11-15 CSLI seminar
11am, kmp@mc, Mermaid 323-9481, rm 28
11-16 Friday 6pm, Goto and Sato dinner msg.msg[1,jmc]/334p
11-19 Monday, meeting with Bill Spencer and Mike Genesereth, 2:30.
9am, appointments and slots, chez Golub
11-20 Tuesday, 2:30 F4, Ventura
11-21 Wed. Mark IIb Design review, Livermore
11-26 Monday 10am, MAD Computer with RPG
CSLI Principals' meeting
11-27 tue 27 nov 20:00 Kovanshchina SFO
Synapse, 3-5,here
11-28 Wed., 1pm, Inference Board meeting
9am, x-rays and dental
11-29 Thurs, 3:15 Faculty Senate
11-30 Fri, to 12-02 Sun., Citizen's Advisory Council on National Space Policy
12-03 Monday, 2:15 pm, Malachi orals
12-04 Tuesday 10am, with Les, Carolyn, RPG, proposal
The next F4 meeting will be Tuesday, Dec. 4, at 3:15 in the Ventura
12-05 Wednesday, III board meeting, 10:00 am
12-06 11:30 Kuroyanagai, Goto, Sato
lunch noon Strategic Decisions Group, 3000 Sand Hill Rd. bldg 3
854-9000, with Nafeh and Ron Howard, suite 150
12-07 Friday,1:00 pm, meeting with John Nafeh, MAD Computer.
12-11 Tuesday noon, AAAS lunch with election postmortem by Lipset
12-12 Wed. 11am, visit Silma, Foothill L on Arboretum next to Supermarket
2nd floor.
12-13 thurs, 2:30 Senior Faculty
7-10pm, CS206 final
10am, Gordon Bell
12 lunch with Jim Adams about VTSS course
12-14 4pm, Fateman there, 519 Evans
10:30 Fateman
12-20
1:45pm, Muse 872C from San Jose, arr. Austin 7:30
12-21 Friday, MCC, also UT
reservations at the Brookhollow N. W., 8888 Tallwood, 343-0008,
Saturday AM, American 139Y, 9:24am-1009Dallas, 11:15 AA127, 12:58
lunch with Susie, Dan and little K
1985
01-02 Wed, 4:30 Les
01-07 Monday, 2pm-5pm, Tom Gefell, make up incomplete
2pm, Sequent
F4, Mondays from 1:15 to 3:15 beginning on January 7.
01-08 Tuesday, Faculty meeting
4:30pm, Lifschitz
01-09 Wed, 2:45, Bartlett dentist
James O. Bartlett,DDS, periodonal evaluation
850 Mddlefield, 326-1400, just S. of Homer, parking in back
group 3365
1pm Berkeley, parallel symbolic computation
2:30 Senior Faculty
01-10 Thurs, Senate
01-11 10am, Friday Inference Advisory
01-12 and 13, sat and sun, 1985, ASL in Anaheim, one hour lecture
12th at 10:45, title: Non-monotonic reasoning, use transparencies
Kechris, Alexander, (home: 213 397-6975) (office: 818 356-4335)
01-15 Tues. 9:45, Bartlett
3:30 csli tea
01-16 Wed, 7:55pm, Continental 117 from Houston, 101 to Houston
Carolyn return
01-17 Thurs. 4pm, MAD
01-18 Friday, 11am, Pat Hayes, chez Tenenbaum, 851-8608
noon, Jan Komorowski, 494 4855
01-21 Monday, noon, lunch with Goto
10am, possible meeting with HPP
01-22 Tuesday 3:30, Waltuch
10am, Bartlett, cancelled
01-23 12, Chez Louis, 212 350-8125, Michel Gouilloud, 858-6100
4170 El Camino, Palo Alto, 493-1660
01-24 Thurs, Senate
01-28 2pm, Jack Harper, has parallel Lisp to sell, (303) 450 0793
01-30 Leave SF 5:30pm PAN AM 124. Arrive London 11:25. Leave London British Air
604 at 2:20pm arrive Vienna 5:30pm. Leave Vienna 2/2 PAN AM 77 9:40am,
arrive JFK 2:20pm. Leave JFK PAN AM 67 4:20pm, arrive SF 7:24pm.
01-30 and 02-02 Wed thru Fri, Zemanek, Cliff Jones, 61 273-7121 ex 5018, 5pm
(61273 4470 night office) (home: 625 52 29 52)
Zemanek
(my talk: Friday, Feb 1, 9 to 10am)
02-02 this week, David Jenks
02-06 Victor Briabrin, Vladimir Mazourick and Gennady Borisovich Kochetkov
thru 10th, Glass Slipper Motel, 493-6611
02-07 Inference board meeting, missed it.
02-07 Thurs, Senate, Senior Faculty
02-11 Monday, 1:15 F4 to 3:30
Tues. 9:30, DOE, 1333 Broadway, Oakland, Wells Fargo Bank Bldg, 6th floor
Jessie Monroe, 273-4216
Broadway exit from 17, 14th and Broadway
02-12 2:30 AI faculty meeting
4:15 Nils on triangle tables
6pm, Forum buffet
02-13 Wed. chair forum session
pm, Marc LeBrun and/or Gosper will install Macsyma
02-14 Thurs. 11:45, Bukovsky, faculty club
San Jose to Austin, Muse Airlines 872 depart 3:15pm arrive Austin 9:00pm
Austin to San Jose, Sunday, 2/17, America West 111,
depart Austin 2:10pm, arrive San Jose 4:35pm
02-15 Friday and 16 Saturday, MCC
02-18 Monday, 4pm, Carolyn and Les
02-19 DOE, 2nd round, Paul McGuire, 273-4216
02-20 Wed., III Board, L.A.
SJ to LA PSA 164 8:30am.
LA to SJ PSA 465 4:00pm
02-21 Thurs. CSD Facilities, msg.msg[1,jmc]/393p
Senate
AAAI lunch faculty club, 252 AAAI strategy meeting
02-22 Fri, Nilsson dinner
02-25 Mon. 3pm, Search Committee, chairman's conf. room
02-26 Tues. 3:30pm, Louis Lerman thesis group, 111 Mitchell
dinner with Lerman and Friedlander
11, Waltuch
02-27 Wed. 2pm, Circumscription seminar
02-28 Meeting 11:00 John Nafeh (MAD)
Thurs. Carolyn returns
Driskill hotel, 512 474-5911
03-01 Fri. noon, Chemistry Gazebo, Ginsberg on counterfactuals
03-05 Tuesday, 7ish, Bukovsky
2:35pm, Carolyn Caddes, 321-2616 photographer
3pm, Search committee?
4:15 David Warren colloquium
03-06 wed 2pm, Lifschitz, Computing circumscription
3pm, Kathleen Kells
2:30 Senior Faculty
03-07 Thurs, Senate
de Carlo, 11am, 707 224-5021
03-08 Fri. tail end of Feigenbaum and Kahn meeting
1-5, MAD
03-11 Monday, 4:15 Hintikka, The curious case of deductive reasoning, Redwood G19
03-12 3:45 Waldinger office, Sten-Ake on transforming progs.
03-13 noon, 352, talk on user interface ideas
3pm, Sten-Ake, 2198,
4:15 Hintikka, Formalizing Sherlock Holmes
11am Okner
03-14 4:15, Dreyfus at CSLI seminar
psa 164,mar 15, 8:30, psa 667, 9:45-10:45
9:30 Inference Scientific Advisory Board
03-15 Friday, 4:15 The logic of science as model-oriented logic
03-16 dinner with Hurds, Quintus, 6pm
12, lunch with Hintikka
03-18 Monday 4:15 Hintikka, A spectrum of logics of science
03-20 1pm Inference Board
psa 664,mar 20, sjo, 7p-8:02, Air France 4, J L.A.Paris 10pm-5:25pm
panam world pass 800 348-8000, panam federal express
af 3, 5pm, 7:35pm, 8:30psa, also 9:45psa arr. 10:45
Hotel Napoleon in Paris
03-21 Thurs. Centre Mondial, exposition of projects
Andrei Feffer
03-23 Saturday, Centre Mondial, Conseil Scientifique
03-26 to 29 March, Loch Lomond, didn't go
03-27 Wed, 4pm, Lu Ru
03-28 10am, Fateman
2:30 robotics search
13-29 Fri ,11am, Nakul Sariya, prospective student schaffer@score
1pm, LES and RTC
04-01 AMARTYA K. SEN
"THE STANDARD OF LIVING"
Monday, April 1
8 P.M.
Building 200, Room 2
04-02 2:30 Faculty meeting re move to engineering
04-03 noon, Amer. Acad. lunch, Expert systems need common sense
dinner at Louie's with Susie and Dan and Katherine,postpone
The first Spring meeting of NAIL is 1PM Weds. 4/3, in 252MJH, and
subsequent meetings are Wednesdays, 11AM in 301MJH.
2pm, Lifschitz
4pm, Ab Kader
04-04 Thurs, Senate
12, Royden
2:00 Robotics search
1:45 Bert Enderton admittee
04-05 2pm Search committee, chez Yao
04-08 3pm, McGinn at VTSS, 7-2565,7-4473,854-0893
04-09 1:30 Search Committee, read folders by Monday AM and return to Phyllis
7pm, pick up food at Louie's
04-10 Muse 872, 3:15 to 9pm
04-11 and 12, Thursday and Friday, MCC maybe.
Fri 6:20, UA365 conn UA539 in Denver arr SJO 9:53
actually returned by Muse on Saturday
04-15 Mon. 11:00am. A meeting with Harari, a Physics professor from Weizmann
(he is Zohar's visitor)
04-16 noon, Stan Peters, basic research in AI
Title: On the model theory of shared information
Time: Tuesday, April 16, 1985 at 4:15-5:30 P.M.
Place: Room 381-T, Math Corner, Stanford
11am, NAIL
2pm, Circumscription seminar, Konolige
04-17 6pm, Chez Hurd, dinner and pie
04-18 Thurs, Senate
04-19 Siglunch, Goto, CS dinner 7pm Faculty Club
04-22 Monday, 10:00am, Barry Jones, Australian minister of science
1:30 Ab Kader
2:30 Robotics committee
04-23 Tues. colloq. Steve Zucker, msg.msg[jnk,jmc]/94p
04-24 noon, A la Carte, Claudia
04-25 Thurs. 3pm, Hailperin, c/o berglund@Pescadero
04-26 Fri. Inference, around noon, didn't go
04-29 Monday, thru May 3, possible jury duty, 324-2039, #65,
call weekend before
10:30, department 31, 2nd floor Judicial wing
County parking lot on either side of Grant Ave.
05-02 Thurs, Senate
11- 12:15 for cs224 talk "Commonsense Knowledge and Reasoning in Logic"?
05-03 11am, Grant Fjermedal, P.O. Box 31091, Seattle, WA 98103, 206 522-8527
05-06 Hoover dinner, Faculty club, 6pm and 6:30pm
9am qlambda at HPP, Byron Davies
05-08 11 NAIL seminar, control in Prolog
2pm, circumscription seminar, back to AI
3:30pm, Hook about free speech
10:45 Tom Strat, c/o Gangolli@score
05-13 11am, MJH301, Shankar
05-15 Wed., III Board, L.A.
05-16 Thurs, Senate
05-17 Fri, Inference SAB
05-22 Wednesday, Inference Board, noon
SJ-LA PSA 206, depart 9:25, arr. 10:29
LA-SJ, PSA 231, depart 7:00, arr. 7:57
May 23 (Thurs.) to June 3rd (Mon.). Rutie vacation.
05-26 Sun. to 31 Fri., AAAS, L.A. (Manfred Kochen 313 764-2585)
accepted by phone Dec. 3, morning and afternoon
Non-monotonic reasoning,Kochen@sumex, up to 250 word summary
Fed exp to AAAS by Jan. 15
05-28 AAAS meeting, LA Hilton.
SF-LA PSA 14, depart 12:11 arr. 1:11
LA-SFO 5/29 PSA 47, depart 10:00pm, arr.10:59.
Reservation LA Hilton.
05-29 Wed. last talk in 9am session, non-monotonic reasoning
05-30 Thurs, Senate
06-01 sat 14:00 onwards Beeson party
should arrive by 4pm to not miss the music,
champagne, and other events
06-03 3:15 Perry on Situation Semantics made easy
11am, Danny Lehman
06-04 Tuesday, Sigma Xi initiation banquet, Royden
imaginative, not necessarily AI
06-06 special Senate meeting
06-07 11am, Beeson
06-08 Orgy, 1:02pm,Ginsberg
06-10 and 11 Monday and Tuesday, MCC
sr. and general faculty meetings - will miss them
06-12 3:15 Moses oral, 160,161K, Pol. Sci. bldg.
morning, AI qual
06-13 Thurs, Senate
06-14 leave for Japan, leave 23rd, wickman, omega, 800 828-2323, 202 289-4318
nw 27, 11:40 - 2:20pm,
June 23, 9:30pm, JL415C Tokyo-Anchorage, arr. 11:05am
June 30, 12noon, nw82f, Anchorage-Seattle, arr. 4pm
June 30, 4:30pm, nw 684f, Seattle-SF, arr. 6:17pm
Charles Wallace or Allen Millsap, 357-9558
06-18 to 21, Japan Expo, c/o Galler, home (313)668 8152.
07-03 11am, Waldinger seminar on clearing blocks at SRI
07-08 to 20 ASL and CSLI summer school. I have accepted Barwise
invitation to give 45 minute presentation in the symposium on
logic and AI.
07-09 11am, Fred Ris of IBM about IBM parallel machine
4pm, Toby Montgomery's office, will conference
07-12 7:30 babysit Catherine
sat 13-jul 20:30 Joffrey SFO
07-15 Monday 1pm, Michael Tobias, 553-2250, John Seely Brown 494-4000
07-16 9pm, Bukovsky, chez lui
07-17 2pm, telephone interview
07-18 10am, ASL,csli talk
5pm, Jussi
07-19 9am, MAD
07-20 Saturday, 7pm, Gordon Bell at Hsi Nan
Bring in Mazda
07-22 am, John Lloyd proposed
United 424 to Denver 2:58pm; arr. 6:13pm. United 250 to Austin 7:25
arr. 10:19.
07-23 Tues and 24, MCC
United 365 to Denver depart 6:15pm, arr. Denver 7:20. United 169 depart
8:14, arr. SJ 9:37.
07-26 Fri 9:30 Inference SAB
07-29 11am, planlunch, sri, Shoam on time, msg.msg[jnk,jmc]/599p
5pm, call Jastrow
07-30 Inference Board, 11:30
07-31 Wed, Robotics search, 10am
noon, Yoav Shoham, VAL and Michael Gelfond
08-01 Thurs. 1pm, ZM lunch, A la Carte
08-02 9am, AI retreat, Portola family farm
08-03 Sat. Andrea van Dam
08-04 Bob Moore party, msg.msg[jnk,jmc]/597p
Sun. Feferman party and organ concert
08-05 Monday, Devika Subramanian, reformulation?
08-08 2p,thurs. Devika
wed 14-aug 15:00 Toby Montgomery
08-15 Thurs. 2p Devika
Saturday, 9:30-4:30, Trizec Tower, 11th floor conference room
4676 Admiralty Way, Marina del Rey, CA 90292 213 822-1511
08-17 crisis management, L.A., Dick Martin and Doug Lenat
Reservation at Beverly Hilton 8/17-8/23
08-23 10:30 KQED interview, Avram Davis or Michael Tobias 415 553-2250
08-18 to the 23rd, IJCAI Conference
My talk, Wednesday, Aug 21, 9am
AI Journal board, 7:30 am, Hotel Westwood Marquis
08-25 10am, ART users group, keynoter
08-26 Monday, 9am Shapiro talk
11am, Shapiro
08-27 Tuesday, Senator Glenn, iii planning if Glenn cancels
08-28 Wed., III Board, L.A., cancelled
09-06 fri, lunch with SJG
aw 166 san jose dallas 4:50pm-11:15pm
09-09 Monday and Tuesday, MCC, msg.msg[1,jmc]/315p
aa476, 4:52-5:37, dallas aa263, 6:35-8:08pm
09-12 Thursday, 9:00am. MAD. GBD will get in touch about driving together.
09-13 Inference SAB; 9:30am; all day.
psa 202, 8:25-9:9, western 681, 9:35-10:37
09-15 Abstracts due for Halpern's knowledge conference
Pednault 11am
09-16 20:00 Opera -- Adriana Lecourvreur
09-21 Saturday, Centre Mondial, Conseil Scientifique, cancelled
9-17, PA150, 12:35-10:55am Frankfort
09-23 to 28, German AI, msgs from HST
PA 151, 2:30pm arr 7:17 via L.A.
the man in stuttgart is Gunzenhaeuser. His phone number
(office:0711-2078-331), home: 0711-7544321.
09-25 Instruction begins
09-27 Friday, 11:00 with John Nafeh and interviewee, my office
Mark ?
09-29 7:30 Pizza with Colie Alexander
10-03 Thurs. 20:00 Opera -- Orlando
10-04 Fri. noon Siglunch, Mike Genesereth
10-05 Sat. 5:30 pick up Hurds for dinner
10-07 Monday, 11am, Susan Sanford, VOA, 548-3849
dinner with Sarah, La Fiesta
11am, Pat Hayes
10-08 Tues. 2:30, The Search Committee will be meeting with Chris Goad
MJH 220
10-09 Wed. 4:30, CSD Facilities MJH 220
10-10 Thurs. noon, lunch with Elliott
10-11 Fri. 7pm, Jack's, 615 Sacramento, near Montgomery, Reason dinner
Sara Baase 848-9136
10-12 dinner with Susie, Dan and Gunthers
10-14 noon, lunch with Arthur Whitney and Matt
10-17 thurs, 9am, Inference board
SJ-LA 7:29 arr. 8:30 Western 134; LA-SJ 11:00 arr 12:02.
SJ-Austin American West 166, 4:50 pm. arr. 11:15pm
Austin-SJ, American Airlines, depart 4:52, arr. SJ 8:08pm
(via Dallas)
10-18 Fri. and 19, MCC
10-20 Sunday, 11am Thomason
10-21 Monday, noon, lunch at Welch Road with Bill Clancey
10-22 Tuesday, 11 Tom Wasow, 7-1855
10-23 wed, 19:00 Kaiser Labor and Delivery Class - Conf rooms A,B
end of val vacation
10-24 Thurs. 3:30, Jussi
1pm, lunch with Rodger Cliff
10-26 Saturday, 7pm, 255 S. Rengstorff, Apt. 154, 415 962-9121
10-27 3pm, Jussi, here, missed it
10-29 1:15-2:30, Jussi in class, postponed
3pm, Jussi
4:15 Terman Auditorium, Unver Kaynak orals, Brian Cantwell adviser
VAL seminar msg.msg[1,jmc]/27p
10-30 19:30 Opera -- Falstaff
noon, Jussi, faculty club
10-31 Thurs. 6pm in Monterey with Carolyn's Aunt
11-01 Fri. Kurt Ceel (future student) 3:00
11-05 4:30, Dale Skeen, file description language
12, John Nafeh at Alouette
11-06 CSD Facil. at 4:00 PM on Wednesday Chairman's Conference
11-07 thurs. CS306 midterm
with Fefermans and Weyhrauchs 7pm Thursday (Nov 7)
11-08 Fri 3:30 Waltuch, lab 5days prev. fast from 10pm
11-09 0022, Cadwallader born -→ Timothy Talcott McCarthy, 5 lb, 9 oz
11-11 Mon. Inference SAB, psa202, 8:25-9:29,psa229,6:05-7:02
11-12 tues. 8:30, Marilyn Horne
11-13 Wed, MAD, 9am, postponed
11-15 Siglunch, 10,000 or 10,000,000
4pm. LOTS birthday
9:45am, Novak
11 Planlunch, Jeff Finger
11-18 Monday, 5:45pm, Soto, defend Star Wars, 7pm
11-19 3pm, John Lamping
11-20 Wed., Inference Board, L.A., projected Cadwallader day
8:30am PSA #202 SJ-LA; LA-SJ PSA #229 6:05pm
11-21 thu 10 drapes
2:45 Lamping
11-22 Fri., 9:40, Dr. Maneatis, Kaiser
Friday Nov. 22, 1985, 12:00-1:00, Ian Mason seminar
11-27 Wed. Novak, 9am
2pm Vladimir seminar and afterward Sten-Ake
11-30 Sarah riding Preliminary Level Cross-Country at RAM TAP, Fresno.
12-01 panam 264, 8am sun arr jfk 4:35
12-02 Mon. noon, Princeton seminar, letter from Gilbert Harman
Newark-Detroit nw 233, 6p, 7:44,
Harman 609 452-4301, sec 6162, Miller 5973, Harman home 924-3546
room 211, 1879 Hall, staying Sunday night at Nassau Inn, Princeton
12-03 Michigan, my Oct 2 proposal to Gurevich
Formalizing common sense knowledge and reasoning
4pm, staying at Gurevich home, Monday and Tuesday nights
Gurevich office (313) 763 4526, and
his home no. is (313) 971 2652
12-04 Detroit- Boston nw272 10am - 11:35
Margaret Minsky, 491-7553, 253-0360
dinner chez Fredkin
12-05 Thurs. 3pm, AI Daedalus, thru 2pm Fri, prog in current events file
Norton's Woods, 136 Irving St., Cambridge
Daedalus main entrance, 200 Beacon st. Somerville
617 491-2600, staying at Sheraton Commander Hotel wed and thurs,617 547-4800
sessions 3pm-6:15, Sherry, dinner, 8:30-10pm
Friday, 8am breakfast, 8:45-12:45, lunch
12-06 Boston-SF, tw 61, 6pm, 9:09pm
12-09 to 13 exams
12-09 Monday, calls to return
Thelma of Inference Corp. phoned, she would like to know if your going
to her Christmas Party. Please call. 213 417-7997.
Valerie Montenegro of AAAS Washington D.C. phoned. Please call. 202 326-6460.
pay pony bill msg.msg[1,jmc]/459p
12-10 Tues. 1:15, Special Faculty Meeting msg.msg[jnk,jmc]/617p
12-11 Wed. 10 Nafeh, chez lui
12-15 Sunday, 4-7pm, Nilsson holiday gathering
150 Coquito Way, Portola Valley, Ladera
12:30 Bill Clancey at the Faculty Club
12-16 Mon. America West (HP) 18,5:30-11:40
Tues. and Wed., MCC
12-18 Wed, Muse, 5:55-8pm, L.A. Con. 828, 8:30-9:35
14:00 hurds to see timothy
12-19 Thursday, Starwars debate
msg.msg[1,jmc]/474p
12-20 4pm, home, Ian talk
12-30 Nina Greenberg, Stanford News Service interview, Stanford
Alumni Magazine
1986
01-04 Saturday, CSD retreat f85.in[let,jmc]/599p
01-06 Instruction begins
JMC VTS course winter quarter meets 14:15-15:30 tuth
in rm 202 History corner (bldg 200)
01-07 dinner with Gordon Bell f85.in[let,jmc]/607p
7pm Cocktails, Chantilly, 540 Ramona, dinner 7:45
01-08 Wed 11am, Planlunch with James Allen
12:10 China First, lunch with Ed and Gordon Bell
4pm, Facilities Committee
01-09 Thurs. 9:30, Nancy Staggs, Ober there.
4pm, Circumscription seminar, James Allen
01-10 Fri. Inference SAB, 1300 to 8pm
psa 210, 12:10-1:05, Jan 10 to L.A.
01-13 Monday, Amarel here, evening dinner chez Nils, f85.in[let,jmc]/577p
01-15 Wed, 2:00-2:45 meeting with Hopcroft
3:15, meeting on EBOS with Ralph and Les
01-20 Monday, Inference Board, 1pm
psa 210 12:10-1:09, psa 229 6pm, 6:59
01-23 Thurs. 11am, Goldsborough 408 920-5541, (home: 408 866-1260)
01-24 7pm, Feigenbaum party, Faculty Club f85.in[let,jmc]/606p xxx declined
Fri noon to Sunday noon, logic weekend in L.A. msg.msg[1,jmc]/84p
SJ-LA Air Cal 320 11:35am, arr. 12:40pm.
LA-SJ 1/26 PSA 217 2:00pm. arr. 2:59.
My NSF renewal left Stanford.
11am, VTSS seminar
01-27 Monday 7pm, chez Arnold Beichman, diner avec Thierry Breton, auteur francais
856-2728
5pm Robotics Search Committee MJH 220.
01-29 1:30, IBM here, Hal Gerrish
01-31 Fri, 11am, Charles Elkan, CPE
11am, Genesereth demo of circuit design programs
02-03 Mon. 2:45pm, exam for Bronstein
2pm, Rosenschein, Durand
4:30 - 6:30 Genesereth Committee
02-05 Wed. noon, lunch with Mike McCarthy, re Technology Opinion
Alouette
SJ, Western flight 12, 3:00pm; arr. Salt Lake 5:35. Leave
Salt Lake flight 114 6:15, arr. El Paso 8:53pm.
Return: America West flight 27, Sat. 6:00pm., arr. Phoenix 7:05, leave
United 1256 8:15pm, arr. SF 9:06.
note: dinner in Juarez, Mexico on Feb 7
02-06 to 08, New Mexico Workshop on Foundations of AI
Thurs. - Sat.
02-10 Monday, John Cocke and Abe Peled, 2pm, v-p. systems
02-11 Tuesday, 3:30 pm. (Location to be announced.) Senior faculty
02-13 and 14, Thurs. and Fri. MCC with Vladimir
Leave 2/12 from SJ 5:30pm America West flight 18, arr. Austin 11:40pm.
Return trip, Friday 2/14 6:15pm United 365 via Denver; arr. Denver 7:28.
Leave Denver, United 433, 8:30pm, arr. SJ 9:52pm.
11am, with Timothy to Hurds
02-17 Monday, Susie starts
3:30pm, Bob Givan, givan@sushi
02-18 4:15, Davidson, Kant lecturem 041 psych, Th,Tu,Th, msg.msg[jnk,jmc]/337p
02-19 9am, III board; SJ-LA PSA no. 202 8:25 arr. 9:28, didn't go - cold
LA-SJ Continental no. 844 4:20, arr. 5:25
02-20 Thursday. Robotics Search Committee meeting 5:00 - 6:00 in MJH 220.
02-21 10am, MAD
02-23 SF to Washington 8:30am United 50, arr. Dulles Airport 4:23pm.
Washington-SF, Monday 2/24 5:00pm, United 57, arr 7:54pm.
02-24 Monday, Delphin consulting, Washington
Westpark Hotel, Fort Meyer Drive, Rosslyn, VA
02-25 Tuesday. 10:00am with John Pucci. He stays at Best Western Tropicana
961 0220
02-26 Wed., Hiroshi Nakagawa of ICOT, see letter in chron
Yokohama National University
02-27 Thursday. Meeting with Nilsson and Reid 11:00 - 12:00.
2:30-4:00 AI courses and degrees meeting
3:30 Klaus Fircheow, c/o Gerard Piel, done by phone
5-6:30 reception for Yelena Bonner 570 Alvarado, chez Drell
02-28 Friday, Dreyfus after Siglunch
dreyfus@cogsci.ucb.arpa
03-03 Monday, VTSS forum, John Staudenmeier,S.J.,11am, room 271 Law School
4pm, Mark Maletz, Hyatt in Palo Alto, 713 335-1355
03-04 9am thru lunch, IEEE Compcon, S.F., receive computer pioneer medal
late pm, President Pompa from Encore
Italians to phone
03-05 Lunch with John Nafeh, MAD, also Cuthbert Hurd. ECCO, Hyatt Cabana,
4290 El Camino, $57.36 included Blackmer and Carlton
03-06 Thurs. 11 Mike Gensesereth
10:30 Ginsberg and Lifschitz
03-07 10:00 Timothy to Dr. Ginter (3rd floor 1150 veterans blvd), cancelled
noon, John Pierce at the Faculty Club
03-08 11am meeting with Miro at my office.
9am, Squires will call me at home
03-10 Monday, my talk Planlunch, 11am, SRI
2pm, ONR proposal meeting
Dinner w/trustees chez Feigenbaum
03-12 lunch with Hurd and Vrolyk at Ecco at noon, CANCELLED, Vrolyk ill
1135 AirCal320-psa233, 2130-2228
03-14 Fri, Inference SAB
Sears shoes with nine month warranty arrived.
03-19 to 22 Halpern's knowledge conference, Asilomar
preliminary program in Current events file
03-24 Monday, AI talk at Fermilab, CANCELLED
Lee Chapman, 312 840-4416 or 412 840-3674.
try for lunch with Hurd and Vrolyk, cancelled
board meeting of MAD including president of Telex, that meeting cancelled
03-25 Psa 210, 1150-1249, Tuesday, Inference Board, 1pm
PSA227,1705-1806
03-27 Rabinov, 2pm
03-28 Friday, lunch with Nafeh, Gatehouse, noon
03-24 Monday-Fri ¬Susan
Monday 10am, Rabinov
Mar 31,ua854,1430-1743denver,ua984,1834-2106
04-01 and 2 Tues. and Wed., U. of Tulsa
Wed ua283 1915-1953denver, ua631 2055-2218 San Jose
via Dallas, see current events file
2 talks, Tu and Wed 3pm, 1st fresh through grads
2nd, seniors and above, bio., maybe go on to Austin
Roger Wainwright, 918 592-6000 x2228
Coberly was dept chairman, Sylvester was dean.
04-03 Thurs. 2pm, talk to admittee, Elisabeth S. Wolf, 2p, c/o Yossi@shasta
telex 33 40 22, telefax 02 86 02 54
4-6 Sunday, America West 317 4:30-10:50, 7:05 Phoenix, 7:45 flt 28
04-07 and 8, MCC, remember to ask about accounting
4-8 AA812 to Dallas,3:37-4:23,Lufthansa 427 to Frankfurt, 5:50-1120 Wed,
Frankfurt Sheraton, dinner with Klaus Fircheow
4-10 Thurs LH821 1p-1:50 to Hannover,
lecture in Hannover on Friday April 11, 1430 to 1630
4-12 Sat. LH38 to London, 0905-0935
4-14 Mon. BA4812 to Edinburgh, 1710-1820
4-16 Wed. BA4713 to London, 710-820,BA754 to Munich 910-1150
Munich Hotel = Viere Jahrezeiten
4-17 Thurs. AZ429 to Milan Linate, 1805 to 1905
4-18 Friday, lecture at University
4-19 Saturday, symposium on work
4-20 Sunday, Malpensa PA85 to SF 1230-1920
04-11 Hannover fair, 212 754-1873, Gerard Piel
04-21 Mon, Tom Mitchell 1:30-2:00
Novak, 10am,
04-22 Tuesday, 1:30-2:30 Search committee with Mitchell
Tue.11:00 - 12:00 Mitchell talk (Terman Aud.)
04-23 3pm, Faculty meeting, msg.msg[jnk,jmc]/82p
04-24 2:15 Barwise and Etchmendy, Ventura
04-28 Mon, (Godel's birthday): 2:00,Etherington, lunch 11:30 if tell Anne R.
1:30 IBM Scientific Center, EBOS talk
04-29 Tues. 4:30, Audiologist, chez Novak
05-01 Thurs. 9am, Okner
Circumscription Seminar,Bldg. 380, Room X, 4:00,CHRONOLOGICAL IGNORANCE:
time, knowledge, nonmonotonicity and causation
Yoav Shoham
05-02 Fri, Yoav Shoham, 2-2:30,3:30-4:30 with committee
1:30pm, Robert Chen, 408 720-9669, 749-9691
05-02 AAAI Program Committee reception msg.msg[1,jmc]/44p
05-03 Saturday, lunch with John Cocke. He'll call home around 9am.
dinner at Hurds'
11am, VTSS forum, Janet Schmidt, vtss, science and world hunger,missed it
05-05 Monday, John Batali, 2-2:30, committee 2:30-3:30 and talk 4-5
05-06 Tuesday, video journal, 11 to 11:50, CS 520,
Lunch with Lipset and Israeli professor
Expert systems and common sense
graphics in advance on yellow pads
Judith Lemon 3-3617
1:30-3:15 Tuesday, cbcl in Nils's class
05-08 Latombe msg.msg[1,jmc]/34p, 2:30-3:30; 4:15 Latombe's talk.
05-09 thru 11, Citzen's advisory msg.msg[1,jmc]/43p
05-12 Monday, 3pm, DARPA talk, The logic approach to AI
abstract + bio
05-13 Tues. 1pm, MAD
05-14 Wed. CPSR, 7:30
hall of the First Presbyterian Church, 1140 Cowper, Palo Alto.
05-16 Inference SAB
psa202 8:10-9:16, psa233, 9:15-10:12
05-18 thru 21 Richmond, Defense AI conference, DECLINED
banquet speech, Tuesday, May 20.
05-19 monday, vtss forum, Donald Jordan
11 ebos here
05-20 1:30 perhaps, Peled lecture msg.msg[jnk,jmc]/22p
meeting with Peled 1:55 to 2:20 Nil's conference room
05-21 Wed AI search, 2:15 to 3:45 in MJH 220.
8am robotics position meeting
05-22 Thurs. 1pm, MAD there
4pm, Circumscription seminar with Michael Gelfond
4:15pm, Faculty meeting
05-23 Friday morning, AI qual with Binford, Nilsson, Genesereth
Friday meeting with Steve Jobs, 2:30 at NEXT (direction in msg.)
msg.msg[1,jmc]/365p
05-25 3pm, Timothy crept today
05-27 Tues. Matthew Naythons, 332-9077, 10am, color photo for Time
c/o Olivia Stuart, 434-5241
05-28
AirCal 322, 2:55-4:01, SK932 5:45-1:15 Copenhagen, 29 May 2:15 SK824 -3:55
SK820 10:10-11:05, plenty of flights to Stockholm
06-05 SK823, 7:50-8:45 CPH, SK931 12:10-2:25, AirCal 527 4:25-5:27.
there's a PSA at 3:35
try NK store in Stockholm
Sandewall 018/11 19 25, Linkoping (013) 111700 ext. 1408
(home: - 46 13 12 12 64)
(home: 08 756-4145) (office: 018 112-559)
05-31 Sat. Receive degree at Linkoping
06-10 tues. 4pm ebos
06-11 Wed, 9am III Board
06-16 Dr. Paris Monday, 2pm
06-17 Tues. Call Goirizelaya in Bilbao 441-9300 work
(home 67 43 31 4) most likely preceded by 34 44
call at noon Tuesday, Sarah Lime 45 230 916 9am to 8pm
06-17 Tues. 2pm ebos
06-18 Wed. noon, faculty club, Marotta and son
06-19 11:15 Linda Witt, 530-2267, c/o TW from 9:30
06-23 Mon. 4pm, MacQueen msg.msg[1,jmc]/499p
06-24 Tues. 11 EBOS
11am WN940: 5:50, 5pm delta 855,arr 5:45 Dallas, delta85, 6:43-7:59
06-27 fri 10:30 TTM to James L. Shively, MD
SF PEDI ORTHO CLinic 2425 Geary Blvd 929-4620
2pm, Nafeh there
06-29 SJ to Portland, AirCal 527, 5:45pm, arr. 7:22. Back, July 2nd, AirCal
510, 5:15pm, arr. 6:53pm.
06-30 Mon - July 2 Wed. Workshop on Planning and Reasoning
Timberline Lodge, one hour drive from Portland
title: Control in the Blocks World
current events file
07-07 to 9 CLT @ Program Transformation Workshop -- Harvard
617 495-1230, Quincy House, 306B
11:30 Freiling here
Freiling seminar, logic lunch
07-11 Inference board 9:00, excused
07-12 Timothy can now be kept amused by TV; he crawls competently,
likes Cheerios.
departure for London, Edinburgh and Dublin
07-14 -18, Conference on Logic prog. banquet speech,
my speech Thursday July 17
letter from Shapiro
07-21 thru 25, Brighton, 7th European Conference on Artificial Intelligence
paper deadline, Jan 1,
programme chairman, Luc Steels, Vrije Universiteit Brussel
AI Lab
Pleinlaan 2 1050 Brussels Belgium
(32)(0)2.6412971
07-25 Inference SAB, 11am, dinner 7pm, cancelled because of ART 3 crunch
07-28 Monday 1986, thru Aug 2, Computer algebra as a tool of research in
mathematics, physics and engineering.
LISP: How to make your own symbolic computation system. tutorial
Computational algebraic geometry, Stanford
07-30 Wed. 10am, Shankar if possible
08-01 Fri. 8:45-11, chair session in conference, Karp, Bledsoe Henrici
08-03 to 11, International Congress of Mathematicians, Berkeley
08-04 to 6, LISP Conference, M.I.T. (my talk, Monday Aug. 4)
Friday and Sat. Bob Kahn library meeting, Pittsburgh, tentative
AAAI receipt in current events folder
08-10 Sunday, AAAI exec. 10:30am, Franklin Plaza Hotel msg.msg[jnk,jmc]/500p
brunch
08-11 to 15 AAAI, Philadelphia
Monday, August 11, from 1:00-4:00 pm
in the Franklin Plaza Hotel in Salon 10 (we'll serve lunch).
AAAI ex-presidents' meeting.
08-12 executive committee
08-20 2pm, III board and stockholder
10-09 Thu. San Jose State colloq. 4pm, Samih Obaid, 408 277-2417
2411=dept., Non-monotonic reasoning nonmon.abs[w85,jmc]
10-10 Deadline database conf. abstract to Moshe Vardi jnk/377p
11-19 Wed III board
1987
01-01 deadline on article for Daedalus; see letter from Graubard
03-19 and 20, Thur. and Fri. Conference on philosophy of mind
Minds: Natural and Artificial
Bill Bechtel (Georgia State), Bob McCauley (Emory)
Ulrich Neisser, Paul Churchland San diego
U. of Georgia, Athens - Robert Burton, 404 542-2823
travel expenses,
08-23 to 29, Sunday thru Saturday, IJCAI, Milan
Bundy, conference chairman, John McDermott, Program chairman
arpanet:"bundy%edxa"@ucl-cs
mcdermott@cmua
10-01 Deadline for article on topics treated by Searle; see letter from LePore